Logic - CASE Bibliography: Articles and URLs.

Ajtai, M. and Y. Gurevich (1987). Monotone versus positive. J. of ACM, 34, 1987, 1004-1015.

Atzeni, Paolo and Peter P. Chen (1981). Completeness of Query Languages for the Entity-Relationship Model. Entity-Relationship Approach to Information Modeling and Analysis, ed. P.P. Chen. ER Institute, 1981. Republished in Second International Conference on the Entity-Relationship Approach, 1981 (1983). North-Holland.

Bachman, Charles (1991). CASE Trends Interviews Charles Bachman. In CASE Trends, Summer 1991, p. 31f. Software Productivity Group, Shrewsbury, MA

Baldwin, J.T. (1985). Classification Theory: 1985. In Baldwin, 1985-2, pp. 1-23.

Baldwin, J.T. and Joel Berman (1985). Concrete Representations of Lattices and the Fundamental Order. In Baldwin, 1985-2, pp. 24-31.

Blass, Andreas and Yuri Gurevich (1987). Existential fixed-point logic. Logic and complexity (ed. E. Börger). Springer Lecture Notes in Computer Science volume 270, 1987, 20-36.

Blass, Andreas, Yuri Gurevich and Saharon Shelah (1999). Choiceless Polynomial Time. Annals of Pure and Applied Logic 100 (1999), 141-187.

Blass, Andreas, Yuri Gurevich, Vladik Kreinovich and Luc Longpré (1998). A Variation on the Zero-One Law. Information Processing Letters 67 (1998) 29-30.

Boehm, B.W. (1988). "A spiral model of software development and enhancement". IEEE Computer, May, p. 61-72.

Bush, Vannevar (1945). As We May Think. The Atlantic Monthly. July, 1945; As We May Think; Volume 176, No. 1; pages 101-108.

Chen, Peter Pin-Shan (1976). The Entity-Relationship Model: Towards a Unified View of Data. ACM Transactions on Database Systems, 1:1, pp. 9-36.

Chen, Peter Pin-Shan (1990). Repositories and the ER Model. CASE Trends, May/June 1990, pp. 3-4. Software Productivity Group, Shrewsbury, MA.

de Hoog, Robert (1997). Methodologies for Building Knowledge Based Systems: Achievements and Prospects. Chapter One of Liebowitz (1997).

Eiter, Thomas, Georg Gottlob and Yuri Gurevich (2000). Existential Second-Order Logic over Strings. IEEE Symposium on Logic in Computer Science (LICS'98), Journal of the ACM, vol. 47, no. 1, Jan. 2000, 77-131.

Eliot, Lance B. (1991). KnowledgeWare Update & J. Martin's New Book on RAD. CASE Trends, May/June 1991, p. 38ff. Software Productivity Group, Shrewsbury, MA.

Gershfield, James N. (1991). Software Re-engineering Tools: A Survey and Critical Analysis. In CASE Trends, Summer 1991, p. 8ff. Software Productivity Group, Shrewsbury, MA.

Goedel, Kurt (1930). The completeness of the axioms of the functional calculus of logic. Van Heijenoort, pp. 582f.

Goedel, Kurt (1931). On formally undecidable propositions of Principia mathematica and related systems I. Van Heijenoort, pp. 592f.

Graedel, Erich and Yuri Gurevich (1998). Metafinite Model Theory. Information and Computation 140:1 (1998), 26-81. Preliminary version in Logic and Computational Complexity, Selected Papers, ed. D. Leivant. Lecture Notes in Computer Science Number. 960, Springer 1995, 313-366.

Grogono, Peter (1997). Software Engineering for Expert Systems. Chapter 25 of Liebowitz (1997).

Gurevich, Yuri (1988). Logic and the Challenge of Computer Science. Current Trends in Theoretical Computer Science (ed. E. Börger). Computer Science Press, 1988, 1-57.

Gurevich, Yuri (1995). Platonism, Constructivism, and Computer Proofs vs. Proofs by Hand. Bulletin of the European Association for Theoretical Computer Science, No. 57, Oct. 1995, 145-166.

Gurevich, Yuri (1999). Sequential ASM Thesis. Bulletin of the European Association for Theoretical Computer Science, Number 67, 93-124, February 1999.

Gurevich, Yuri (1984). Toward logic tailored for computational complexity. Computation and Proof Theory (Ed. M. Richter et al.), Springer Lecture Notes in Math. 1104 (1984), 175-216.

Gurevich, Yuri and Margus Veanes (1999a). Logic with Equality: Partizan Corroboration and Shifted Pairing. Information and Computation, vol. 152, no. 2, August 1999, 205-235.

Gurevich, Yuri and Saharon Shelah (1986). Fixed-point extensions of first-order logic. Annals of Pure and Applied Logic 32 (1986), 265-280.

Gurevich, Yuri and Saharon Shelah (1996). On Rigid Structures. Journal of Symbolic Logic, vol. 61, no. 2, June 1996, 549-562.

Hanks, Aaron (1991). ROSADE: A New Methodology. In CASE Trends, May/June 1991, p. 30ff. Software Productivity Group, Shrewsbury, MA.

Keisler, H. Jerome (1985). Choosing Elements in a Saturated Model. In Baldwin, 1985-2, pp. 165-181.

Knight, Julia F. and Alistair H. Lachlan (1985). Shrinking, Stretching, and Codes for Homogeneous Structures. In Baldwin, 1985-2, pp. 192-229.

Lawvere, F.W. (1966). The category of categories as a foundation for mathematics. Eilenberg, S., Harrison, D.K., Mac Lane, S., and Roehrl, H., editors, Categorical Algebra, pages 1-20. Springer-Verlag.

Lellahi, S.K., and Nicolas Spyratos (1992). Categorical Modelling of database concepts. Technical Report Series, FIDE/92/ 38, University of Glasgow 1992.

Lellahi, S.K., and Nicolas Spyratos (1993). Deduction over graphs under constraint: A soundness and completeness theorem. Diagramme vol 39, 1993 (edited by: Univ Paris 7, France).

Linz (2000). http://www.risc.uni-linz.ac.at/research/category/risc/catlist/catdb

Hella, Lauri, Phokion G. Kolaitis, and Kerkko Luosto (1996). Almost everywhere equivalence of logics in finite model theory. The Bulletin of Symbolic Logic, 2(4):422-443, December 1996.

Moriarty, Terry (2001). Product Review: Rational Rose 2001 Enterprise Edition. Intelligent Enterprise, 3/27/2001, pp. 50-53. CMP Media Inc.

Nilsson, Erik G. (1985). The Translation of a COBOL Data Structure to an Entity-Relationship Type Conceptual Schema. In: The Fourth International Conference on the Entity-Relationship Approach, Chicago 1985. IEEE Computer Society Press, 1985. Pages 170-177.

Peano, Giuseppi (1889). The principles of arithmetic, presented by a new method. Van Heijenoort, pp. 83f.

Piessens, Frank (1996). Semantic data specifications: an analysis based on a categorical formalization. PhD thesis, Dept. of Computer Science, Katholieke Universiteit Leuven, 1996.

Piessens, Frank and Eric Steegmans (1995). Categorical data-specifications. Theory and Applications of Categories, Vol. 1, No. 8, 1995, pp. 156--173.

Piessens, Frank and Eric Steegmans (nd). Proving semantical equivalence of data specifications. Accepted for publication in the special issue of The Journal of Pure and Applied Algebra dedicated to the celebration of Peter Freyd's 60th birthday.

Rational (2000): www.rational.com. Rational Rose 2000 documentation.

Rational (2001): www.rational.com. Rational Rose 2001 Enterprise Edition documentation, from Rational Software Corp., 18880 Homestead Road, Cupertino, CA 95014. 800-728-1212.

RationalEdge (2000): www.therationaledge.com. Magazine, white papers and documentation for the Rational user community.

Recon (2001). University of West Florida Software Reconnaissance Tool, at http://www.cs.uwf.edu/~recon/.

Rosicky, J (1997). Accessible categories, saturation and categoricity. J. Symbolic Logic 62 (1997), 891-901.

Russell, Bertrand (1902). Letter to Frege. Van Heijenoort, p. 124.

Russell, Bertrand (1908). Mathematical logic as based on the theory of types. Van Heijenoort, pp. 150f.

Shelah, Saharon (1985). Universal Classes. In Baldwin, 1985-2, pp. 264-418.

Skolem, Thoralf (1920). Logico-combinatorial investigations in the satisfiability or provability of mathematical propositions: A simplified proof of a theorem by L. Loewenheim and generalizations of the theorem. Van Heijenoort, pp. 252f.

Skolem, Thoralf (1922). Some remarks on axiomatized set theory. In Van Heijenoort, pp. 290f.

Skolem, Thoralf (1928). On mathematical logic. Van Heijenoort, pp. 508f.

Tarski, Alfred (1941). On the calculus of relations. Journal of Symbolic Logic, 6(3), 73-89.

Tilley, Scott R. (2001). Reverse-Engineering Environment Framework, A Technical Report. Copyright 2001 by Carnegie Mellon University. URL:
http://www.sei.cmu.edu/publications/documents/98.reports/98tr005/98tr005abstract.html
http://www.sei.cmu.edu/publications/documents/98.reports/98tr005/98tr005chap07.html





Bibliography: Books.

Aristotle (1957). Metaphysics. Werner Jaeger, editor. Oxford University Press.

Ault, Michael R. (1998). Oracle8 Black Book. Coriolis, The Coriolis Group.
ISBN: 1576101878 Pub Date: 01/01/98.

Baldwin, J.T., Editor (1985-2). Classification Theory: Proceedings of the US-Israel Workshop on Model Theory in Mathematical Logic. Springer-Verlag, 1985.

Beizer, Boris (1990). Software Testing Techniques, Second Edition. The Coriolis Group. ISBN: 1850328803 Pub Date: 06/01/90.

Bird, Richard and Oege de Moor (1997). Algebra of Programming. Prentice Hall.

Birkhoff, Garrett B. and Saunders Mac Lane (1941). A Survey of Modern Algebra. MacMillan.

Bobak, Angelo Renato (1997). Data Modeling and Design for Today's Architectures. Artech House, Inc. ISBN: 0890068771 Publication Date: 08/01/97.

Burleson, Donald (1997). High Performance Oracle8 Tuning: Performance and Tuning Techniques for Getting the Most from Your Oracle8 Database. The Coriolis Group. ISBN: 1576102173 Pub Date: 10/01/97.

Church, Alonzo (1956). Introduction to Mathematical Logic. Princeton University Press.

Cohn, P. M. (1965). Universal Algebra. Harper and Row.

Conley, John (1998). Sams Teach Yourself OOP with Visual Basic. Sams, Macmillan Computer Publishing. ISBN: 0672312999 Publication Date: 06/25/98

Date, C.J. (1983). An Introduction to Database Systems. Addison-Wesley.

Fowler, Martin and Kendall Scott (2000). UML Distilled. Second Edition. Addison Wesley Longman.

Frege, Gottlob (1879). Begriffschrift. Van Heijenoort, pp. 1f.

Frege, Gottlob (1964). The Basic Laws of Arithmetic: Exposition of the System. Translated and edited by Montgomery Furth. University of California Press.

Freyd, Peter J. and Andrei Scedrov (1990). Categories, Allegories. Volume 39 of Mathematical Library. North-Holland.

Garey, Michael R. and David S. Johnson (1979). Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman.

Geach, Peter and Max Black (1970), editors. Translations from the Philosophical Writings of Gottlob Frege. Basil Blackwell.

Hawryszkiewycz, I.T. (1984). Database Analysis and Design. Science Research Associates.

Hilbert, David and W. Ackermann (1950). Principles of Mathematical Logic. Chelsea Publishing Co.

Hodges, Wilfrid (1997). A Shorter Model Theory. Cambridge University Press.

Hughes, Nathan and William Page (1998). Special Edition Using Oracle 8. Que, Macmillan Computer Publishing. ISBN: 0789713454 Pub Date: 03/10/98.

Kleene, Stephen Cole (1967). Mathematical Logic. John Wiley.

Kreisel, Georg and Jean-Louis Krivine (1971). Elements of Mathematical Logic (Model Theory). North-Holland.

Liebowitz, Jay (1997). The Handbook on Expert Systems. CRC Press, CRC Press LLC. ISBN: 0849331064 Pub Date: 12/01/97.

Lochovsky, Frederick H. (1990), editor. Entity-Relationship Approach to Database Design and Querying. North-Holland.

Mac Lane, Saunders (1998). Categories for the Working Mathematician. Springer-Verlag.

Mac Lane, Saunders (1995). Homology. Springer-Verlag. Reprint of the 1975 edition.

March, Salvatore (1987), editor. Proceedings of the Sixth International Conference on the Entity-Relationship Approach. North-Holland and IEEE Computer Society.

Martin, James (1990). Information Engineering. Prentice Hall.

Martin, James and James J. Odell (1997). Object-Oriented Methods: A Foundation: Uml Edition. Second edition, December 1997. Prentice Hall; ISBN: 0139055975.

Martin, James and Carma McClure (1985). Diagramming Techniques for Analysts and Programmers. Prentice Hall.

Mendelssohn, Elliott (1979). Introduction to Mathematical Logic. D. Van Nostrand.

Oracle (1991). CASE Technical Overview. Oracle Corporation, Part Number 3000201.0491, 1991.

Rose (2000). Rational Rose 2000, version 6.5.9232. Rational Software Corp. This is the Enterprise Suite of Rose tools, including all modelers, Purify and Quantify, and the Help system.

Van Heijenoort, Jean (1967). From Frege to Goedel: A Sourcebook in Mathematical Logic, 1879-1931. Harvard University Press.

Whitehead, Alfred North and Bertrand Russell (1997). Principia Mathematica to *56. Cambridge Mathematical Library. Cambridge University Press, 1997. ISBN 0521626064.